g_type_is_a (type, GTK_TYPE_FILE_CHOOSER_WIDGET) ||
g_type_is_a (type, GTK_TYPE_PLACES_SIDEBAR))
return;
-
+
klass = g_type_class_ref (type);
if (g_type_is_a (type, GTK_TYPE_SETTINGS))
if ((pspec->flags & G_PARAM_READABLE) == 0)
continue;
+ /* This one has a special-purpose default value */
+ if (g_type_is_a (type, GTK_TYPE_DIALOG) &&
+ (strcmp (pspec->name, "use-header-bar") == 0))
+ continue;
+
if (g_type_is_a (type, GDK_TYPE_DISPLAY_MANAGER) &&
(strcmp (pspec->name, "default-display") == 0))
continue;